home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / macros / Properties / jEdit_Properties.bsh < prev    next >
Text File  |  2013-07-28  |  2KB  |  60 lines
  1. /*
  2.  * jEdit_Properties.bsh - a BeanShell macro for the
  3.  * jEdit text editor application -- provides a list of current
  4.  * properties used by jEdit
  5.  * Copyright (C) 2001 John Gellene
  6.  * jgellene@nyc.rr.com
  7.  * http://community.jedit.org
  8.  *
  9.  * This program is free software; you can redistribute it and/or
  10.  * modify it under the terms of the GNU General Public License
  11.  * as published by the Free Software Foundation; either version 2
  12.  * of the License, or any later version.
  13.  *
  14.  * This program is distributed in the hope that it will be useful,
  15.  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16.  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17.  * GNU General Public License for more details.
  18.  *
  19.  * You should have received a copy of the GNU General Public License
  20.  * along with the jEdit application; if not, write to the Free Software
  21.  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  22.  *
  23.  * $Id: jEdit_Properties.bsh 22846 2013-03-16 18:37:31Z ezust $
  24.  *
  25.  * Checked for jEdit 4.0 API
  26.  *
  27.  */
  28.  
  29. void writeJEditProperties()
  30. {
  31.     // save any changes written since the session started
  32.     jEdit.saveSettings();
  33.  
  34.     props = jEdit.getProperties();
  35.  
  36.     sw = new StringWriter();
  37.     pw = new PrintWriter(sw);
  38.     props.store(pw,"jedit properties");
  39.     newbuf = jEdit.newFile(view);
  40.     newbuf.setMode("properties");
  41.     newbuf.insert(0, sw.toString());
  42. }
  43.  
  44. writeJEditProperties();
  45.  
  46. /*
  47.     Macro index data (in DocBook format)
  48.  
  49. <listitem>
  50.     <para><filename>jEdit_Properties.bsh</filename></para>
  51.     <abstract><para>
  52.        Writes an unsorted list of jEdit properties in a new buffer.
  53.     </para></abstract>
  54. </listitem>
  55.  
  56. */
  57.  
  58. // end jEdit_Properties.bsh
  59.  
  60.